On Aristotle's NC and EM Principles in Three-valued Logics
نویسندگان
چکیده
By interpreting ‘p is impossible’ by ‘p is selfcontradictory’, and ‘p is always’ by ‘not p is self-contradictory’, this paper studies which of the three-valued systems of Łucasiewicz, Gödel, Kleene, Bochvar, and Post, do verify the Aristotle’s principles of Non-Contradiction (NC), and Excluded-Middle (EM). Keywords— Systems of three-valued logic, Non-Contradiction, Excluded-Middle.
منابع مشابه
Fredkin Gates for Finite–valued Reversible and Conservative Logics
The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli in [FT, 82] on the basis of a seminal paper of Landauer [La, 61] are extended to d–valued logics, with a special attention to three–valued logics. Different approaches to d–valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typic...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملMultiple-valued Logic
s of the Talks In the order in which the talks were given. Walter Carnielli – Non-deterministic Semantics 5 Matthias Baaz – Analytic Calculi for Many-valued Logics 5 Hiroakira Ono – Many-valued Logics as Logics without the Contraction Rule 6 Reiner Hähnle – Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz – Determining the Truth Degree in Real Time Settings 7 Peter ...
متن کاملA lattice of implicative extensions of regular Kleene's logics
A b s t r a c t. The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene's logics (strong, weak, intermediate) and it's extensions by adding an implicative connectives (" natural " implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics. In this paper...
متن کاملMaximally Paraconsistent Three-Valued Logics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper, we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We ...
متن کامل